piecewise function continuity proof